Computation tree - PDFSEARCH.IO - Document Search Engine

Computation tree
Results: 129

#	Item
61	Model-Checking Overview of Automated Verification SW/HW SW/HW artifact Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2006-02-06 13:57:58 Mathematical logic Formal languages Logical syntax Philosophy of language Interpretation Computation tree logic Well-formed formula Function Kripke structure Logic Mathematics Temporal logic
62	Part III Michaelmas 2011 QUANTUM COMPUTATION Lecture notes Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2013-06-11 09:48:33 Computational complexity theory Quantum complexity theory Quantum information science Decision tree model Quantum algorithm Deutsch–Jozsa algorithm PP BQP Quantum computer Theoretical computer science Applied mathematics Models of computation
63	Part III Michaelmas 2011 QUANTUM COMPUTATION Lecture notes Add to Reading List Source URL: www.damtp.cam.ac.uk Language: English - Date: 2012-02-17 03:45:53 Computational complexity theory Quantum complexity theory Quantum information science Decision tree model Quantum algorithm Deutsch–Jozsa algorithm PP BQP Quantum computer Theoretical computer science Applied mathematics Models of computation
64	Unbounded Error Quantum Query Complexity Ashley Montanaro1 , Harumichi Nishimura2 and Rudy Raymond3 December 10, Department of Computer Science, University of Bristol, UK Add to Reading List Source URL: www.damtp.cam.ac.uk Language: English - Date: 2007-12-10 06:35:35 Analysis of algorithms Models of computation Quantum information science Quantum algorithm Decision tree model PP Quantum computer Time complexity Randomized algorithm Theoretical computer science Applied mathematics Computational complexity theory
65	War of the Weasels An Evolutionary Algorithm Beats Intelligent Design How an intelligent design theorist was bested in a public math competition by a genetic algorithm—a computer simulation of evolution. D AV E T H O M Add to Reading List Source URL: www.physics.smu.edu Language: English - Date: 2010-06-19 18:46:30 Cybernetics Evolutionary algorithms Creationist objections to evolution Genetic algorithm Fitness function Steiner tree problem Evolutionary computation Irreducible complexity Specified complexity Pseudoscience Creationism Intelligent design
66	Séminaire de Sûreté de Fonctionnement de l’X Guarded Transitions Systems Antoine Rauzy École Polytechnique Add to Reading List Source URL: altarica.fr Language: English - Date: 2013-08-01 09:29:48 Software engineering Concurrency Automata theory Diagrams Petri net Markov chain Model checking Fault tree analysis Finite-state machine Models of computation Systems engineering Statistics
67	Logic and Automata over Infinite Trees Der Fakult¨at f¨ ur Mathematik, Informatik und Naturwissenschaften der Rheinisch-Westf¨alischen Technischen Hochschule Aachen Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-05-29 10:55:56 Formal languages Combinatorics on words Mathematical logic Models of computation Linear temporal logic Finite-state machine Tree automaton Parity game Alphabet Automata theory Mathematics Theoretical computer science
68	Mona & Fido: The Logic-Automaton Connection in Practice Nils Klarlund AT&T Labs{Research Florham Park, NJ Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-03-08 16:49:34 Boolean algebra Model checking Mathematics Formal methods Binary decision diagram Models of computation Finite-state machine Tree automaton Computability Automata theory Theoretical computer science Diagrams
69	Automated Implementation of Complex Distributed Algorithms Specified in the IOA Language∗ Chryssis Georgiou Nancy Lynch Add to Reading List Source URL: www.cs.ucy.ac.cy Language: English - Date: 2005-11-11 05:43:22 Spanning tree Computer programming Models of computation Message Passing Interface Parallel computing Algorithm I/O Automaton Model checking Finite-state machine Computing Automata theory Theoretical computer science
70	Proceedings of the International Multiconference on Computer Science and Information Technology pp. 659–666 ISBN[removed]4 ISSN[removed] Add to Reading List Source URL: www.proceedings2009.imcsit.org Language: English - Date: 2009-10-30 02:36:35 Computer science Applied mathematics Deterministic pushdown automaton Pushdown automaton Nondeterministic finite automaton Tree automaton Deterministic finite automaton Finite-state machine Tree traversal Automata theory Models of computation Theoretical computer science

UPDATE